Daniele Magazzeni: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Automated Planning for Robotics

Karpas, Erez, Magazzeni, Daniele

Journal:

Annual Review of Control, Robotics, and Autonomous Systems

Year:

2020

Language:

english

File:

PDF, 303 KB

english, 2020

2

A spatial relation-based framework to perform visual information extraction

Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice

Journal:

Knowledge and Information Systems

Year:

2012

Language:

english

File:

PDF, 1.83 MB

english, 2012

3

A general theory of spatial relations to support a graphical tool for visual information extraction

Della Penna, Giuseppe, Magazzeni, Daniele, Orefice, Sergio

Journal:

Journal of Visual Languages & Computing

Year:

2013

Language:

english

File:

PDF, 3.22 MB

english, 2013

4

Leveraging constraint-based approaches for multi-objective flexible flow-shop scheduling with energy costs

Oddi, Angelo, Rasconi, Riccardo, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 932 KB

english, 2016

5

Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains

Penna, Giuseppe Della, Intrigila, Bedenetto, Magazzeni, Daniele, Mercorio, Fabio

Journal:

International Journal of Artificial Intelligence Tools

Year:

2015

Language:

english

File:

PDF, 963 KB

english, 2015

6

[IEEE Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - Athens, Greece (2007.6.19-2007.6.25)] Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - Automatic Synthesis of Robust Numerical Controllers

Penna, Giuseppe Della, Magazzeni, Daniele, Tofani, Alberto, Intrigila, Benedetto, Melatti, Igor, Tronci, Enrico

Year:

2007

Language:

english

File:

PDF, 190 KB

english, 2007

7

Policy learning for autonomous feature tracking

Magazzeni, Daniele, Py, Frédéric, Fox, Maria, Long, Derek, Rajan, Kanna

Journal:

Autonomous Robots

Year:

2014

Language:

english

File:

PDF, 2.44 MB

english, 2014

8

Validation and Verification of Smart Contracts: A Research Agenda

Magazzeni, Daniele, McBurney, Peter, Nash, William

Journal:

Year:

2017

Language:

english

File:

PDF, 576 KB

english, 2017

9

A framework for the automatic synthesis of hybrid fuzzy/numerical controllers

Daniele Magazzeni

Journal:

Applied Soft Computing

Year:

2011

Language:

english

File:

PDF, 1.42 MB

english, 2011

10

A universal planning system for hybrid domains

Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio

Journal:

Applied Intelligence

Year:

2012

Language:

english

File:

PDF, 1.39 MB

english, 2012

11

[IEEE 2014 IEEE International Conference on Robotics and Automation (ICRA) - Hong Kong, China (2014.5.31-2014.6.7)] 2014 IEEE International Conference on Robotics and Automation (ICRA) - AUV mission control via temporal planning

Cashmore, Michael, Fox, Maria, Larkworthy, Tom, Long, Derek, Magazzeni, Daniele

Year:

2014

Language:

english

File:

PDF, 1.76 MB

english, 2014

12

[IEEE OCEANS 2014 - St. John's, NL (2014.9.14-2014.9.19)] 2014 Oceans - St. John's - On AUV actions to correctly label world information

Maurelli, Francesco, Saigol, Zeyn, Lane, David, Cashmore, Michael, Ridder, Bram, Magazzeni, Daniele

Year:

2014

Language:

english

File:

PDF, 947 KB

english, 2014

13

A discrete differential evolution algorithm for multi-objective permutation flowshop scheduling

Baioletti, Marco, Milani, Alfredo, Santucci, Valentino, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 666 KB

english, 2016

14

Visual extraction of information from web pages

Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice

Journal:

Journal of Visual Languages & Computing

Year:

2010

Language:

english

File:

PDF, 672 KB

english, 2010

15

[IEEE 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Vienna, Austria (2008.12.10-2008.12.12)] 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Automatic Generation of Hybrid Fuzzy/Numerical Controllers

Magazzeni, Daniele

Year:

2008

Language:

english

File:

PDF, 197 KB

english, 2008

16

Robustness Envelopes for Temporal Plans

Cashmore, Michael, Cimatti, Alessandro, Magazzeni, Daniele, Micheli, Andrea, Zehtabi, Parisa

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2019

File:

PDF, 2.18 MB

2019

17

Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking

Hoffmann, Jorg, Hermanns, Holger, Klauck, Michaela, Steinmetz, Marcel, Karpas, Erez, Magazzeni, Daniele

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2020

File:

PDF, 474 KB

2020

18

[IEEE 2010 Sixth International Conference on Autonomic and Autonomous Systems (ICAS) - Cancun, Mexico (2010.03.7-2010.03.13)] 2010 Sixth International Conference on Autonomic and Autonomous Systems - Planning for Autonomous Planetary Vehicles

Della Penna, Giuseppe, Intrigila, Benedetto, Magazzeni, Daniele, Mercorio, Fabio

Year:

2010

Language:

english

File:

PDF, 1.71 MB

english, 2010

19

Toward persistent autonomous intervention in a subsea panel

Palomeras, Narcís, Carrera, Arnau, Hurtós, Natàlia, Karras, George C., Bechlioulis, Charalampos P., Cashmore, Michael, Magazzeni, Daniele, Long, Derek, Fox, Maria, Kyriakopoulos, Kostas J., Kormushev,

Journal:

Autonomous Robots

Year:

2015

Language:

english

File:

PDF, 4.38 MB

english, 2015

20

Artificial Intelligence Planning for AUV Mission Control

Cashmore, Michael, Fox, Maria, Long, Derek, Magazzeni, Daniele, Ridder, Bram

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 638 KB

english, 2015

21

Opportunistic Planning in Autonomous Underwater Missions

Cashmore, Michael, Fox, Maria, Long, Derek, Magazzeni, Daniele, Ridder, Bram

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2017

Language:

english

File:

PDF, 2.79 MB

english, 2017

22

SyBeL: A SYSTEM MODELLING LANGUAGE ENHANCING AUTOMATIC SUPPORT IN THE SOFTWARE DEVELOPMENT PROCESS

PENNA, GIUSEPPE DELLA, OREFICE, SERGIO, INTRIGILA, BENEDETTO, MAGAZZENI, DANIELE, SORDO, ROBERTO DEL, CICCOTTI, GIUSEPPE CARDINALE

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2013

Language:

english

File:

PDF, 5.61 MB

english, 2013

23

Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations

Chrpa, Lukáš, Magazzeni, Daniele, McCabe, Keith, McCluskey, Thomas L., Vallati, Mauro, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 922 KB

english, 2016

24

Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows

Edelkamp, Stefan, Lahijanian, Morteza, Magazzeni, Daniele, Plaku, Erion

Journal:

IEEE Robotics and Automation Letters

Year:

2018

Language:

english

File:

PDF, 775 KB

english, 2018

25

6th Italian Workshop on Planning and Scheduling (IPS 2015)

Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 41 KB

english, 2016

26

Automated Planning for Robotics

Karpas, Erez, Magazzeni, Daniele

Journal:

Annual Review of Control, Robotics, and Autonomous Systems

Year:

2020

File:

PDF, 303 KB

2020

27

CASP solutions for planning in hybrid domains

BALDUCCINI, MARCELLO, MAGAZZENI, DANIELE, MARATEA, MARCO, LEBLANC, EMILY C.

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 804 KB

english, 2017

28

Investigating domain independent heuristics in a timeline-based planner

De Benedictis, Riccardo, Cesta, Amedeo, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 884 KB

english, 2016

29

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems

Della Penna, Giuseppe, Intrigila, Benedetto, Magazzeni, Daniele, Melatti, Igor, Tronci, Enrico

Journal:

European Journal of Control

Year:

2013

Language:

english

File:

PDF, 2.32 MB

english, 2013

30

On the use of landmarks in planner LPG

Benzi, Francesco, Gerevini, Alfonso Emilio, Saetti, Alessandro, Serina, Ivan, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 1.72 MB

english, 2016

31

[IEEE 2017 IEEE International Conference on Robotics and Biomimetics (ROBIO) - Macau (2017.12.5-2017.12.8)] 2017 IEEE International Conference on Robotics and Biomimetics (ROBIO) - On-the-fly detection of novel objects in indoor environments

Langer, Edith, Ridder, Bram, Cashmore, Michael, Magazzeni, Daniele, Zillich, Michael, Vincze, Markus

Year:

2017

Language:

english

File:

PDF, 2.07 MB

english, 2017

32

A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence

Morris, Robert, Bonet, Blai, Cavazza, Marc, DesJardins, Marie, Felner, Ariel, Hawes, Nick, Knox, Brad, Koenig, Sven, Konidaris, George, Lang, Jérôme, Linares López, Carlos, Magazzeni, Daniele, McGover

Journal:

Year:

2015

Language:

english

File:

PDF, 423 KB

english, 2015

33

A formal framework to represent spatial knowledge

Della Penna, Giuseppe, Magazzeni, Daniele, Orefice, Sergio

Journal:

Knowledge and Information Systems

Year:

2016

Language:

english

File:

PDF, 2.52 MB

english, 2016

34

[IEEE 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Madrid (2018.10.1-2018.10.5)] 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons

Buksz, Dorian, Cashmore, Michael, Krarup, Benjamin, Magazzeni, Daniele, Ridder, Bram

Year:

2018

Language:

english

File:

PDF, 2.13 MB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски